Algorithmic Fairness Verification with Graphical Models

Modular Verification of Qualitative Pathway Models with Fairness

Modular verification is a technique used to face the state explosion problem often encountered in the verification of properties of complex systems such as concurrent interactive systems. The modular approach is based on the observation that properties of interest often concern a rather small portion of the system. As a consequence, reduced models can be constructed which approximate the overal...

Logical and Algorithmic Properties of Conditional Independence and Graphical Models

JSTOR is a not-for-profit service that helps scholars, researchers, and students discover, use, and build upon a wide range of content in a trusted digital archive. We use information technology and tools to increase productivity and facilitate new forms of scholarship. For more information about JSTOR, please contact [email protected]. Institute of Mathematical Statistics is collaborating with...

Algorithmic Verification with Multiple and Nested Parameters

We consider parameterised verification problem, where parameters are sets and relations over these sets, typically used to denote sets of identities of replicated components and connections between the components. A specification and a system are given as (multiply) parameterised labelled transition systems, parameter values are encoded using first-order logic and correctness is understood as t...

Reasoning with Graphical Models

Learning with Graphical Models

Probabilistic graphical models are being used widely in artiicial intelligence, for instance, in diagnosis and expert systems, as a uniied qualitative and quantitative framework for representing and reasoning with probabilities and independencies. Their development and use spans several elds including artiicial intelligence, decision theory and statistics, and provides an important bridge betwe...